/ Linux Cubed Series 3: Developer Tools / Linux Cubed Series 3 - Developer Tools.iso / devel / lang / lisp / stk-3.002 / stk-3 / STk-3.1 / Doc / Reference / Appendix-C.tex / node10_ct.html

< prev

next >

MacOS 8.1

Win98

DOS

view JSON data

view as text

+--------+-------------------------+-------------------------+--------+--------+
|00000000| 3c 21 44 4f 43 54 59 50 | 45 20 48 54 4d 4c 20 50 |<!DOCTYP|E HTML P|
|00000010| 55 42 4c 49 43 20 22 2d | 2f 2f 57 33 43 2f 2f 44 |UBLIC "-|//W3C//D|
|00000020| 54 44 20 48 54 4d 4c 20 | 33 2e 32 20 46 69 6e 61 |TD HTML |3.2 Fina|
|00000030| 6c 2f 2f 65 6e 22 3e 0a | 0a 3c 21 2d 2d 43 6f 6e |l//en">.|.<!--Con|
|00000040| 76 65 72 74 65 64 20 77 | 69 74 68 20 4c 61 54 65 |verted w|ith LaTe|
|00000050| 58 32 48 54 4d 4c 20 32 | 30 32 32 20 28 52 65 6c |X2HTML 2|022 (Rel|
|00000060| 65 61 73 65 64 20 4a 61 | 6e 75 61 72 79 20 31 2c |eased Ja|nuary 1,|
|00000070| 20 32 30 32 32 29 20 2d | 2d 3e 0a 3c 48 54 4d 4c | 2022) -|->.<HTML|
|00000080| 20 6c 61 6e 67 3d 22 65 | 6e 22 3e 0a 3c 48 45 41 | lang="e|n">.<HEA|
|00000090| 44 3e 0a 3c 54 49 54 4c | 45 3e 43 6f 6e 74 65 6e |D>.<TITL|E>Conten|
|000000a0| 74 73 20 6f 66 20 47 65 | 6e 65 72 69 63 20 66 75 |ts of Ge|neric fu|
|000000b0| 6e 63 74 69 6f 6e 73 20 | 61 6e 64 20 6d 65 74 68 |nctions |and meth|
|000000c0| 6f 64 73 3c 2f 54 49 54 | 4c 45 3e 0a 0a 3c 4d 45 |ods</TIT|LE>..<ME|
|000000d0| 54 41 20 48 54 54 50 2d | 45 51 55 49 56 3d 22 43 |TA HTTP-|EQUIV="C|
|000000e0| 6f 6e 74 65 6e 74 2d 54 | 79 70 65 22 20 43 4f 4e |ontent-T|ype" CON|
|000000f0| 54 45 4e 54 3d 22 74 65 | 78 74 2f 68 74 6d 6c 3b |TENT="te|xt/html;|
|00000100| 20 63 68 61 72 73 65 74 | 3d 75 74 66 2d 38 22 3e | charset|=utf-8">|
|00000110| 0a 3c 4d 45 54 41 20 4e | 41 4d 45 3d 22 76 69 65 |.<META N|AME="vie|
|00000120| 77 70 6f 72 74 22 20 43 | 4f 4e 54 45 4e 54 3d 22 |wport" C|ONTENT="|
|00000130| 77 69 64 74 68 3d 64 65 | 76 69 63 65 2d 77 69 64 |width=de|vice-wid|
|00000140| 74 68 2c 20 69 6e 69 74 | 69 61 6c 2d 73 63 61 6c |th, init|ial-scal|
|00000150| 65 3d 31 2e 30 22 3e 0a | 3c 4d 45 54 41 20 4e 41 |e=1.0">.|<META NA|
|00000160| 4d 45 3d 22 47 65 6e 65 | 72 61 74 6f 72 22 20 43 |ME="Gene|rator" C|
|00000170| 4f 4e 54 45 4e 54 3d 22 | 4c 61 54 65 58 32 48 54 |ONTENT="|LaTeX2HT|
|00000180| 4d 4c 20 76 32 30 32 32 | 22 3e 0a 0a 3c 4c 49 4e |ML v2022|">..<LIN|
|00000190| 4b 20 52 45 4c 3d 22 53 | 54 59 4c 45 53 48 45 45 |K REL="S|TYLESHEE|
|000001a0| 54 22 20 48 52 45 46 3d | 22 41 70 70 65 6e 64 69 |T" HREF=|"Appendi|
|000001b0| 78 2d 43 2e 63 73 73 22 | 3e 0a 0a 3c 4c 49 4e 4b |x-C.css"|>..<LINK|
|000001c0| 20 52 45 4c 3d 22 6e 65 | 78 74 22 20 48 52 45 46 | REL="ne|xt" HREF|
|000001d0| 3d 22 6e 6f 64 65 31 31 | 5f 6d 6e 2e 68 74 6d 6c |="node11|_mn.html|
|000001e0| 22 3e 0a 3c 4c 49 4e 4b | 20 52 45 4c 3d 22 70 72 |">.<LINK| REL="pr|
|000001f0| 65 76 69 6f 75 73 22 20 | 48 52 45 46 3d 22 6e 6f |evious" |HREF="no|
|00000200| 64 65 39 5f 6d 6e 2e 68 | 74 6d 6c 22 3e 0a 3c 4c |de9_mn.h|tml">.<L|
|00000210| 49 4e 4b 20 52 45 4c 3d | 22 75 70 22 20 48 52 45 |INK REL=|"up" HRE|
|00000220| 46 3d 22 6e 6f 64 65 39 | 5f 6d 6e 2e 68 74 6d 6c |F="node9|_mn.html|
|00000230| 22 3e 0a 3c 4c 49 4e 4b | 20 52 45 4c 3d 22 6e 65 |">.<LINK| REL="ne|
|00000240| 78 74 22 20 48 52 45 46 | 3d 22 6e 6f 64 65 31 31 |xt" HREF|="node11|
|00000250| 5f 6d 6e 2e 68 74 6d 6c | 22 3e 0a 3c 2f 48 45 41 |_mn.html|">.</HEA|
|00000260| 44 3e 0a 20 0a 3c 42 4f | 44 59 20 62 67 63 6f 6c |D>. .<BO|DY bgcol|
|00000270| 6f 72 3d 22 23 66 66 66 | 66 66 66 22 20 74 65 78 |or="#fff|fff" tex|
|00000280| 74 3d 22 23 30 30 30 30 | 30 30 22 20 6c 69 6e 6b |t="#0000|00" link|
|00000290| 3d 22 23 39 39 34 34 45 | 45 22 20 76 6c 69 6e 6b |="#9944E|E" vlink|
|000002a0| 3d 22 23 30 30 30 30 66 | 66 22 20 61 6c 69 6e 6b |="#0000f|f" alink|
|000002b0| 3d 22 23 30 30 66 66 30 | 30 22 3e 0a 0a 3c 48 32 |="#00ff0|0">..<H2|
|000002c0| 3e 3c 41 20 49 44 3d 22 | 53 45 43 54 49 4f 4e 30 |><A ID="|SECTION0|
|000002d0| 30 30 34 31 30 30 30 30 | 30 30 30 30 30 30 30 30 |00410000|00000000|
|000002e0| 30 30 30 22 3e 0a 47 65 | 6e 65 72 69 63 20 66 75 |000">.Ge|neric fu|
|000002f0| 6e 63 74 69 6f 6e 73 20 | 61 6e 64 20 6d 65 74 68 |nctions |and meth|
|00000300| 6f 64 73 3c 2f 41 3e 0a | 3c 2f 48 32 3e 0a 0a 3c |ods</A>.|</H2>..<|
|00000310| 50 3e 0a 3c 41 20 49 44 | 3d 22 67 66 2d 6e 2d 6d |P>.<A ID|="gf-n-m|
|00000320| 65 74 68 6f 64 73 22 3e | 3c 2f 41 3e 4e 65 69 74 |ethods">|</A>Neit|
|00000330| 68 65 72 20 20 6e 6f 72 | 20 43 4c 4f 53 20 75 73 |her  nor| CLOS us|
|00000340| 65 20 74 68 65 20 6d 65 | 73 73 61 67 65 20 6d 65 |e the me|ssage me|
|00000350| 63 68 61 6e 69 73 6d 20 | 66 6f 72 20 6d 65 74 68 |chanism |for meth|
|00000360| 6f 64 73 20 61 73 0a 6d | 6f 73 74 20 4f 62 6a 65 |ods as.m|ost Obje|
|00000370| 63 74 20 4f 72 69 65 6e | 74 65 64 20 6c 61 6e 67 |ct Orien|ted lang|
|00000380| 75 61 67 65 20 64 6f 2e | 20 49 6e 73 74 65 61 64 |uage do.| Instead|
|00000390| 2c 20 74 68 65 79 20 75 | 73 65 20 74 68 65 20 6e |, they u|se the n|
|000003a0| 6f 74 69 6f 6e 20 6f 66 | 0a 67 65 6e 65 72 69 63 |otion of|.generic|
|000003b0| 20 66 75 6e 63 74 69 6f | 6e 2e 20 20 41 20 67 65 | functio|n.  A ge|
|000003c0| 6e 65 72 69 63 20 66 75 | 6e 63 74 69 6f 6e 20 63 |neric fu|nction c|
|000003d0| 61 6e 20 62 65 20 73 65 | 65 6e 20 61 73 20 61 20 |an be se|en as a |
|000003e0| 6d 65 74 68 6f 64 73 0a | 60 60 74 61 6e 6b 65 72 |methods.|``tanker|
|000003f0| 27 27 2e 20 57 68 65 6e | 20 74 68 65 20 65 76 61 |''. When| the eva|
|00000400| 6c 75 61 74 6f 72 20 72 | 65 71 75 65 73 74 64 20 |luator r|equestd |
|00000410| 74 68 65 20 61 70 70 6c | 69 63 61 74 69 6f 6e 20 |the appl|ication |
|00000420| 6f 66 20 61 20 67 65 6e | 65 72 69 63 0a 66 75 6e |of a gen|eric.fun|
|00000430| 63 74 69 6f 6e 2c 20 61 | 6c 6c 20 74 68 65 20 6d |ction, a|ll the m|
|00000440| 65 74 68 6f 64 73 20 6f | 66 20 74 68 69 73 20 67 |ethods o|f this g|
|00000450| 65 6e 65 72 69 63 20 66 | 75 6e 63 74 69 6f 6e 20 |eneric f|unction |
|00000460| 77 69 6c 6c 20 62 65 20 | 67 72 61 62 62 65 64 20 |will be |grabbed |
|00000470| 61 6e 64 0a 74 68 65 20 | 6d 6f 73 74 20 73 70 65 |and.the |most spe|
|00000480| 63 69 66 69 63 20 61 6d | 6f 6e 67 20 74 68 65 6d |cific am|ong them|
|00000490| 20 77 69 6c 6c 20 62 65 | 20 61 70 70 6c 69 65 64 | will be| applied|
|000004a0| 2e 20 57 65 20 73 61 79 | 20 74 68 61 74 20 61 20 |. We say| that a |
|000004b0| 6d 65 74 68 6f 64 0a 3c | 45 4d 3e 4d 3c 2f 45 4d |method.<|EM>M</EM|
|000004c0| 3e 20 69 73 20 3c 45 4d | 3e 6d 6f 72 65 20 73 70 |> is <EM|>more sp|
|000004d0| 65 63 69 66 69 63 3c 2f | 45 4d 3e 20 74 68 61 6e |ecific</|EM> than|
|000004e0| 20 61 20 6d 65 74 68 6f | 64 20 3c 45 4d 3e 4d 27 | a metho|d <EM>M'|
|000004f0| 3c 2f 45 4d 3e 20 69 66 | 20 74 68 65 20 63 6c 61 |</EM> if| the cla|
|00000500| 73 73 20 6f 66 0a 69 74 | 73 20 70 61 72 61 6d 65 |ss of.it|s parame|
|00000510| 74 65 72 73 20 61 72 65 | 20 6d 6f 72 65 20 73 70 |ters are| more sp|
|00000520| 65 63 69 66 69 63 20 74 | 68 61 6e 20 74 68 65 20 |ecific t|han the |
|00000530| 3c 45 4d 3e 4d 27 3c 2f | 45 4d 3e 20 6f 6e 65 73 |<EM>M'</|EM> ones|
|00000540| 2e 20 20 54 6f 20 62 65 | 20 6d 6f 72 65 0a 70 72 |.  To be| more.pr|
|00000550| 65 63 69 73 65 2c 20 77 | 68 65 6e 20 61 20 67 65 |ecise, w|hen a ge|
|00000560| 6e 65 72 69 63 20 66 75 | 6e 74 69 6f 6e 20 6d 75 |neric fu|ntion mu|
|00000570| 73 74 20 62 65 20 60 60 | 63 61 6c 6c 65 64 27 27 |st be ``|called''|
|00000580| 20 74 68 65 20 73 79 73 | 74 65 6d 20 77 69 6c 6c | the sys|tem will|
|00000590| 0a 0a 3c 50 3e 0a 0a 3c | 4f 4c 3e 0a 3c 4c 49 3e |..<P>..<|OL>.<LI>|
|000005a0| 73 65 61 72 63 68 20 61 | 6d 6f 6e 67 20 61 6c 6c |search a|mong all|
|000005b0| 20 74 68 65 20 67 65 6e | 65 72 69 63 20 66 75 6e | the gen|eric fun|
|000005c0| 63 74 69 6f 6e 20 74 68 | 6f 73 65 20 77 68 69 63 |ction th|ose whic|
|000005d0| 68 20 61 72 65 20 61 70 | 70 6c 69 63 61 62 6c 65 |h are ap|plicable|
|000005e0| 0a 3c 2f 4c 49 3e 0a 3c | 4c 49 3e 73 6f 72 74 20 |.</LI>.<|LI>sort |
|000005f0| 74 68 65 20 6c 69 73 74 | 20 6f 66 20 61 70 70 6c |the list| of appl|
|00000600| 69 63 61 62 6c 65 20 6d | 65 74 68 6f 64 73 20 69 |icable m|ethods i|
|00000610| 6e 20 74 68 65 20 60 60 | 6d 6f 73 74 20 73 70 65 |n the ``|most spe|
|00000620| 63 69 66 69 63 27 27 20 | 6f 72 64 65 72 0a 3c 2f |cific'' |order.</|
|00000630| 4c 49 3e 0a 3c 4c 49 3e | 63 61 6c 6c 20 74 68 65 |LI>.<LI>|call the|
|00000640| 20 6d 6f 73 74 20 73 70 | 65 63 69 66 69 63 20 6d | most sp|ecific m|
|00000650| 65 74 68 6f 64 20 6f 66 | 20 74 68 69 73 20 6c 69 |ethod of| this li|
|00000660| 73 74 20 28 69 2e 65 2e | 20 74 68 65 20 66 69 72 |st (i.e.| the fir|
|00000670| 73 74 20 6d 65 74 68 6f | 64 20 6f 66 20 0a 74 68 |st metho|d of .th|
|00000680| 65 20 73 6f 72 74 65 64 | 20 6d 65 74 68 6f 64 73 |e sorted| methods|
|00000690| 20 6c 69 73 74 29 2e 0a | 3c 2f 4c 49 3e 0a 3c 2f | list)..|</LI>.</|
|000006a0| 4f 4c 3e 0a 0a 3c 50 3e | 0a 54 68 65 20 64 65 66 |OL>..<P>|.The def|
|000006b0| 69 6e 69 74 69 6f 6e 20 | 6f 66 20 61 20 67 65 6e |inition |of a gen|
|000006c0| 65 72 69 63 20 66 75 6e | 63 74 69 6f 6e 20 69 73 |eric fun|ction is|
|000006d0| 20 64 6f 6e 65 20 77 69 | 74 68 20 74 68 65 20 64 | done wi|th the d|
|000006e0| 65 66 69 6e 65 2d 67 65 | 6e 65 72 69 63 0a 6d 61 |efine-ge|neric.ma|
|000006f0| 63 72 6f 2e 20 44 65 66 | 69 6e 69 74 69 6f 6e 20 |cro. Def|inition |
|00000700| 6f 66 20 61 20 6e 65 77 | 20 6d 65 74 68 6f 64 20 |of a new| method |
|00000710| 69 73 20 64 6f 6e 65 20 | 77 69 74 68 20 74 68 65 |is done |with the|
|00000720| 20 64 65 66 69 6e 65 2d | 6d 65 74 68 6f 64 20 6d | define-|method m|
|00000730| 61 63 72 6f 2e 0a 4e 6f | 74 65 20 74 68 61 74 20 |acro..No|te that |
|00000740| 64 65 66 69 6e 65 2d 6d | 65 74 68 6f 64 20 61 75 |define-m|ethod au|
|00000750| 74 6f 6d 61 74 69 63 61 | 6c 6c 79 20 64 65 66 69 |tomatica|lly defi|
|00000760| 6e 65 73 20 74 68 65 20 | 67 65 6e 65 72 69 63 20 |nes the |generic |
|00000770| 66 75 6e 63 74 69 6f 6e | 20 69 66 20 69 74 0a 68 |function| if it.h|
|00000780| 61 73 20 6e 6f 74 20 62 | 65 65 6e 20 64 65 66 69 |as not b|een defi|
|00000790| 6e 65 64 20 62 65 66 6f | 72 65 2e 20 43 6f 6e 73 |ned befo|re. Cons|
|000007a0| 65 71 75 65 6e 74 6c 79 | 2c 20 6d 6f 73 74 20 6f |equently|, most o|
|000007b0| 66 20 74 68 65 20 74 69 | 6d 65 2c 20 74 68 65 0a |f the ti|me, the.|
|000007c0| 64 65 66 69 6e 65 2d 67 | 65 6e 65 72 69 63 20 6e |define-g|eneric n|
|000007d0| 65 65 64 73 20 6e 6f 74 | 20 62 65 20 75 73 65 64 |eeds not| be used|
|000007e0| 2e 0a 0a 3c 50 3e 0a 43 | 6f 6e 73 69 64 65 72 20 |...<P>.C|onsider |
|000007f0| 74 68 65 20 66 6f 6c 6c | 6f 77 69 6e 67 20 64 65 |the foll|owing de|
|00000800| 66 69 6e 69 74 69 6f 6e | 73 3a 0a 3c 42 52 3e 0a |finition|s:.<BR>.|
|00000810| 3c 49 4d 47 0a 20 20 53 | 54 59 4c 45 3d 22 68 65 |<IMG.  S|TYLE="he|
|00000820| 69 67 68 74 3a 20 32 2e | 33 38 65 78 3b 20 76 65 |ight: 2.|38ex; ve|
|00000830| 72 74 69 63 61 6c 2d 61 | 6c 69 67 6e 3a 20 31 37 |rtical-a|lign: 17|
|00000840| 36 2e 32 37 65 78 3b 20 | 22 20 53 52 43 3d 22 69 |6.27ex; |" SRC="i|
|00000850| 6d 67 32 34 2e 70 6e 67 | 22 0a 20 41 4c 54 3d 22 |mg24.png|". ALT="|
|00000860| 5c 62 65 67 69 6e 7b 73 | 63 68 65 6d 65 7d 0a 28 |\begin{s|cheme}.(|
|00000870| 64 65 66 69 6e 65 2d 67 | 65 6e 65 72 69 63 20 4d |define-g|eneric M|
|00000880| 29 0a 28 64 65 66 69 6e | 65 2d 6d 65 74 68 6f 64 |).(defin|e-method|
|00000890| 20 4d 28 28 61 20 26 6c | 74 3b 69 6e 74 65 67 65 | M((a &l|t;intege|
|000008a0| 72 26 67 74 3b 29 20 62 | 29 20 27 69 6e 74 65 67 |r&gt;) b|) 'integ|
|000008b0| 65 72 29 0a 28 64 65 66 | 69 6e 65 2d 6d 65 74 68 |er).(def|ine-meth|
|000008c0| 6f 64 20 4d 28 28 61 20 | 26 6c 74 3b 72 65 61 6c |od M((a |&lt;real|
|000008d0| 26 67 74 3b 29 20 62 29 | 20 27 72 65 61 6c 29 0a |&gt;) b)| 'real).|
|000008e0| 28 64 65 66 69 6e 65 2d | 6d 65 74 68 6f 64 20 4d |(define-|method M|
|000008f0| 28 61 20 62 29 20 27 74 | 6f 70 29 0a 5c 65 6e 64 |(a b) 't|op).\end|
|00000900| 7b 73 63 68 65 6d 65 7d | 22 3e 0a 3c 42 52 3e 0a |{scheme}|">.<BR>.|
|00000910| 0a 3c 50 3e 0a 54 68 65 | 20 64 65 66 69 6e 65 2d |.<P>.The| define-|
|00000920| 67 65 6e 65 72 69 63 20 | 63 61 6c 6c 20 64 65 66 |generic |call def|
|00000930| 69 6e 65 73 20 3c 54 54 | 3e 4d 3c 2f 54 54 3e 20 |ines <TT|>M</TT> |
|00000940| 61 73 20 61 20 67 65 6e | 65 72 69 63 0a 66 75 6e |as a gen|eric.fun|
|00000950| 63 74 69 6f 6e 2e 20 4e | 6f 74 65 20 74 68 61 74 |ction. N|ote that|
|00000960| 20 74 68 65 20 73 69 67 | 6e 61 74 75 72 65 20 6f | the sig|nature o|
|00000970| 66 20 74 68 65 20 67 65 | 6e 65 72 69 63 20 66 75 |f the ge|neric fu|
|00000980| 6e 63 74 69 6f 6e 20 69 | 73 20 6e 6f 74 20 67 69 |nction i|s not gi|
|00000990| 76 65 6e 0a 75 70 6f 6e | 20 64 65 66 69 6e 69 74 |ven.upon| definit|
|000009a0| 69 6f 6e 2c 20 63 6f 6e | 74 72 61 72 69 6c 79 20 |ion, con|trarily |
|000009b0| 74 6f 20 43 4c 4f 53 2e | 20 54 68 69 73 20 77 69 |to CLOS.| This wi|
|000009c0| 6c 6c 20 70 65 72 6d 69 | 74 20 6d 65 74 68 6f 64 |ll permi|t method|
|000009d0| 73 20 77 69 74 68 0a 64 | 69 66 66 65 72 65 6e 74 |s with.d|ifferent|
|000009e0| 20 73 69 67 6e 61 74 75 | 72 65 73 20 66 6f 72 20 | signatu|res for |
|000009f0| 61 20 67 69 76 65 6e 20 | 67 65 6e 65 72 69 63 20 |a given |generic |
|00000a00| 66 75 6e 63 74 69 6f 6e | 2c 20 61 73 20 77 65 20 |function|, as we |
|00000a10| 73 68 61 6c 6c 20 73 65 | 65 0a 6c 61 74 65 72 2e |shall se|e.later.|
|00000a20| 20 54 68 65 20 74 68 72 | 65 65 20 6e 65 78 74 20 | The thr|ee next |
|00000a30| 6c 69 6e 65 73 20 64 65 | 66 69 6e 65 20 6d 65 74 |lines de|fine met|
|00000a40| 68 6f 64 73 20 66 6f 72 | 20 74 68 65 20 3c 54 54 |hods for| the <TT|
|00000a50| 3e 4d 3c 2f 54 54 3e 20 | 67 65 6e 65 72 69 63 0a |>M</TT> |generic.|
|00000a60| 66 75 6e 63 74 69 6f 6e | 2e 20 45 61 63 68 20 6d |function|. Each m|
|00000a70| 65 74 68 6f 64 20 75 73 | 65 73 20 61 20 73 65 71 |ethod us|es a seq|
|00000a80| 75 65 6e 63 65 20 6f 66 | 20 3c 45 4d 3e 70 61 72 |uence of| <EM>par|
|00000a90| 61 6d 65 74 65 72 20 73 | 70 65 63 69 61 6c 69 7a |ameter s|pecializ|
|00000aa0| 65 72 73 3c 2f 45 4d 3e | 0a 74 68 61 74 20 73 70 |ers</EM>|.that sp|
|00000ab0| 65 63 69 66 79 20 77 68 | 65 6e 20 74 68 65 20 67 |ecify wh|en the g|
|00000ac0| 69 76 65 6e 20 6d 65 74 | 68 6f 64 20 69 73 20 61 |iven met|hod is a|
|00000ad0| 70 70 6c 69 63 61 62 6c | 65 2e 20 41 20 73 70 65 |pplicabl|e. A spe|
|00000ae0| 63 69 61 6c 69 7a 65 72 | 0a 70 65 72 6d 69 74 73 |cializer|.permits|
|00000af0| 20 74 6f 20 69 6e 64 69 | 63 61 74 65 20 74 68 65 | to indi|cate the|
|00000b00| 20 63 6c 61 73 73 20 61 | 20 70 61 72 61 6d 65 74 | class a| paramet|
|00000b10| 65 72 20 6d 75 73 74 20 | 62 65 6c 6f 6e 67 20 74 |er must |belong t|
|00000b20| 6f 20 28 64 69 72 65 63 | 74 6c 79 20 6f 72 0a 69 |o (direc|tly or.i|
|00000b30| 6e 64 69 72 65 63 74 6c | 79 29 20 74 6f 20 62 65 |ndirectl|y) to be|
|00000b40| 20 61 70 70 6c 69 63 61 | 62 6c 65 2e 20 49 66 20 | applica|ble. If |
|00000b50| 6e 6f 20 73 70 65 63 69 | 6c 69 61 7a 65 72 20 69 |no speci|liazer i|
|00000b60| 73 20 67 69 76 65 6e 2c | 20 74 68 65 20 73 79 73 |s given,| the sys|
|00000b70| 74 65 6d 0a 64 65 66 61 | 75 6c 74 73 20 69 74 20 |tem.defa|ults it |
|00000b80| 74 6f 20 26 6c 74 3b 74 | 6f 70 26 67 74 3b 2e 20 |to &lt;t|op&gt;. |
|00000b90| 54 68 75 73 2c 20 74 68 | 65 20 66 69 72 73 74 20 |Thus, th|e first |
|00000ba0| 6d 65 74 68 6f 64 20 64 | 65 66 69 6e 69 74 69 6f |method d|efinitio|
|00000bb0| 6e 0a 69 73 20 65 71 75 | 69 76 61 6c 65 6e 74 20 |n.is equ|ivalent |
|00000bc0| 74 6f 0a 0a 3c 50 3e 0a | 3c 42 52 3e 0a 3c 49 4d |to..<P>.|<BR>.<IM|
|00000bd0| 47 0a 20 20 53 54 59 4c | 45 3d 22 68 65 69 67 68 |G.  STYL|E="heigh|
|00000be0| 74 3a 20 32 2e 33 38 65 | 78 3b 20 76 65 72 74 69 |t: 2.38e|x; verti|
|00000bf0| 63 61 6c 2d 61 6c 69 67 | 6e 3a 20 31 37 36 2e 32 |cal-alig|n: 176.2|
|00000c00| 37 65 78 3b 20 22 20 53 | 52 43 3d 22 69 6d 67 32 |7ex; " S|RC="img2|
|00000c10| 35 2e 70 6e 67 22 0a 20 | 41 4c 54 3d 22 5c 62 65 |5.png". |ALT="\be|
|00000c20| 67 69 6e 7b 73 63 68 65 | 6d 65 7d 0a 28 64 65 66 |gin{sche|me}.(def|
|00000c30| 69 6e 65 2d 6d 65 74 68 | 6f 64 20 4d 28 28 61 20 |ine-meth|od M((a |
|00000c40| 26 6c 74 3b 69 6e 74 65 | 67 65 72 26 67 74 3b 29 |&lt;inte|ger&gt;)|
|00000c50| 20 28 62 20 26 6c 74 3b | 74 6f 70 26 67 74 3b 29 | (b &lt;|top&gt;)|
|00000c60| 29 20 27 69 6e 74 65 67 | 65 72 29 0a 5c 65 6e 64 |) 'integ|er).\end|
|00000c70| 7b 73 63 68 65 6d 65 7d | 22 3e 0a 3c 42 52 3e 0a |{scheme}|">.<BR>.|
|00000c80| 0a 3c 50 3e 0a 4e 6f 77 | 2c 20 6c 65 74 20 75 73 |.<P>.Now|, let us|
|00000c90| 20 6c 6f 6f 6b 20 61 74 | 20 73 6f 6d 65 20 70 6f | look at| some po|
|00000ca0| 73 73 69 62 6c 65 20 63 | 61 6c 6c 73 20 74 6f 20 |ssible c|alls to |
|00000cb0| 67 65 6e 65 72 69 63 20 | 66 75 6e 63 74 69 6f 6e |generic |function|
|00000cc0| 20 3c 54 54 3e 4d 3c 2f | 54 54 3e 3a 0a 3c 42 52 | <TT>M</|TT>:.<BR|
|00000cd0| 3e 0a 3c 49 4d 47 0a 20 | 20 53 54 59 4c 45 3d 22 |>.<IMG. | STYLE="|
|00000ce0| 68 65 69 67 68 74 3a 20 | 32 2e 33 38 65 78 3b 20 |height: |2.38ex; |
|00000cf0| 76 65 72 74 69 63 61 6c | 2d 61 6c 69 67 6e 3a 20 |vertical|-align: |
|00000d00| 31 37 36 2e 32 37 65 78 | 3b 20 22 20 53 52 43 3d |176.27ex|; " SRC=|
|00000d10| 22 69 6d 67 32 36 2e 70 | 6e 67 22 0a 20 41 4c 54 |"img26.p|ng". ALT|
|00000d20| 3d 22 5c 62 65 67 69 6e | 7b 73 63 68 65 6d 65 7d |="\begin|{scheme}|
|00000d30| 0a 28 4d 20 32 20 33 29 | 20 5c 6c 65 76 20 69 6e |.(M 2 3)| \lev in|
|00000d40| 74 65 67 65 72 0a 28 4d | 20 32 20 5c 73 63 68 74 |teger.(M| 2 \scht|
|00000d50| 72 75 65 29 20 5c 6c 65 | 76 20 69 6e 74 65 67 65 |rue) \le|v intege|
|00000d60| 72 0a 28 4d 20 31 2e 32 | 20 27 61 29 20 5c 6c 65 |r.(M 1.2| 'a) \le|
|00000d70| 76 20 2e 2e 2e 0a 2e 2e | 2e 20 74 6f 70 0a 28 4d |v ......|. top.(M|
|00000d80| 20 31 20 32 20 33 29 20 | 5c 6c 65 76 20 65 72 72 | 1 2 3) |\lev err|
|00000d90| 6f 72 20 28 73 69 6e 63 | 65 20 6e 6f 20 6d 65 74 |or (sinc|e no met|
|00000da0| 68 6f 64 20 65 78 69 73 | 74 73 20 66 6f 72 20 33 |hod exis|ts for 3|
|00000db0| 20 70 61 72 61 6d 65 74 | 65 72 73 29 0a 5c 65 6e | paramet|ers).\en|
|00000dc0| 64 7b 73 63 68 65 6d 65 | 7d 22 3e 0a 3c 42 52 3e |d{scheme|}">.<BR>|
|00000dd0| 0a 0a 3c 50 3e 0a 54 68 | 65 20 70 72 65 63 65 64 |..<P>.Th|e preced|
|00000de0| 69 6e 67 20 6d 65 74 68 | 6f 64 73 20 75 73 65 20 |ing meth|ods use |
|00000df0| 6f 6e 6c 79 20 6f 6e 65 | 20 73 70 65 63 69 61 6c |only one| special|
|00000e00| 69 7a 65 72 20 70 65 72 | 20 70 61 72 61 6d 65 74 |izer per| paramet|
|00000e10| 65 72 20 6c 69 73 74 2e | 20 4f 66 20 63 6f 75 72 |er list.| Of cour|
|00000e20| 73 65 2c 20 0a 65 61 63 | 68 20 70 61 72 61 6d 65 |se, .eac|h parame|
|00000e30| 74 65 72 20 63 61 6e 20 | 75 73 65 20 61 20 73 70 |ter can |use a sp|
|00000e40| 65 63 69 61 6c 69 7a 65 | 72 2e 20 49 6e 20 74 68 |ecialize|r. In th|
|00000e50| 69 73 20 63 61 73 65 2c | 20 74 68 65 20 70 61 72 |is case,| the par|
|00000e60| 61 6d 65 74 65 72 20 6c | 69 73 74 20 69 73 20 73 |ameter l|ist is s|
|00000e70| 63 61 6e 6e 65 64 20 0a | 66 72 6f 6d 20 6c 65 66 |canned .|from lef|
|00000e80| 74 20 74 6f 20 72 69 67 | 68 74 20 74 6f 20 64 65 |t to rig|ht to de|
|00000e90| 74 65 72 6d 69 6e 65 20 | 74 68 65 20 61 70 70 6c |termine |the appl|
|00000ea0| 69 63 61 62 69 6c 69 74 | 79 20 6f 66 20 61 20 6d |icabilit|y of a m|
|00000eb0| 65 74 68 6f 64 2e 20 53 | 75 70 70 6f 73 65 20 77 |ethod. S|uppose w|
|00000ec0| 65 20 64 65 63 6c 61 72 | 65 0a 6e 6f 77 0a 3c 42 |e declar|e.now.<B|
|00000ed0| 52 3e 0a 3c 49 4d 47 0a | 20 20 53 54 59 4c 45 3d |R>.<IMG.|  STYLE=|
|00000ee0| 22 68 65 69 67 68 74 3a | 20 32 2e 33 38 65 78 3b |"height:| 2.38ex;|
|00000ef0| 20 76 65 72 74 69 63 61 | 6c 2d 61 6c 69 67 6e 3a | vertica|l-align:|
|00000f00| 20 31 37 36 2e 32 37 65 | 78 3b 20 22 20 53 52 43 | 176.27e|x; " SRC|
|00000f10| 3d 22 69 6d 67 32 37 2e | 70 6e 67 22 0a 20 41 4c |="img27.|png". AL|
|00000f20| 54 3d 22 5c 62 65 67 69 | 6e 7b 73 63 68 65 6d 65 |T="\begi|n{scheme|
|00000f30| 7d 0a 28 64 65 66 69 6e | 65 2d 6d 65 74 68 6f 64 |}.(defin|e-method|
|00000f40| 20 4d 20 28 28 61 20 26 | 6c 74 3b 69 6e 74 65 67 | M ((a &|lt;integ|
|00000f50| 65 72 26 67 74 3b 29 20 | 28 62 20 26 6c 74 3b 6e |er&gt;) |(b &lt;n|
|00000f60| 75 6d 62 65 72 26 67 74 | 3b 29 29 20 27 69 6e 74 |umber&gt|;)) 'int|
|00000f70| 65 67 65 72 2d 6e 75 6d | 62 65 72 29 0a 28 64 2e |eger-num|ber).(d.|
|00000f80| 2e 2e 0a 2e 2e 2e 61 6c | 26 67 74 3b 29 29 20 27 |......al|&gt;)) '|
|00000f90| 69 6e 74 65 67 65 72 2d | 72 65 61 6c 29 0a 28 64 |integer-|real).(d|
|00000fa0| 65 66 69 6e 65 2d 6d 65 | 74 68 6f 64 20 4d 20 28 |efine-me|thod M (|
|00000fb0| 61 20 28 62 20 26 6c 74 | 3b 6e 75 6d 62 65 72 26 |a (b &lt|;number&|
|00000fc0| 67 74 3b 29 29 20 27 74 | 6f 70 2d 6e 75 6d 62 65 |gt;)) 't|op-numbe|
|00000fd0| 72 29 0a 5c 65 6e 64 7b | 73 63 68 65 6d 65 7d 22 |r).\end{|scheme}"|
|00000fe0| 3e 0a 3c 42 52 3e 0a 0a | 3c 50 3e 0a 49 6e 20 74 |>.<BR>..|<P>.In t|
|00000ff0| 68 69 73 20 63 61 73 65 | 2c 20 0a 3c 42 52 3e 0a |his case|, .<BR>.|
|00001000| 3c 49 4d 47 0a 20 20 53 | 54 59 4c 45 3d 22 68 65 |<IMG.  S|TYLE="he|
|00001010| 69 67 68 74 3a 20 32 2e | 33 38 65 78 3b 20 76 65 |ight: 2.|38ex; ve|
|00001020| 72 74 69 63 61 6c 2d 61 | 6c 69 67 6e 3a 20 31 37 |rtical-a|lign: 17|
|00001030| 36 2e 32 37 65 78 3b 20 | 22 20 53 52 43 3d 22 69 |6.27ex; |" SRC="i|
|00001040| 6d 67 32 38 2e 70 6e 67 | 22 0a 20 41 4c 54 3d 22 |mg28.png|". ALT="|
|00001050| 5c 62 65 67 69 6e 7b 73 | 63 68 65 6d 65 7d 0a 28 |\begin{s|cheme}.(|
|00001060| 4d 20 31 20 32 29 20 5c | 6c 65 76 20 69 6e 74 65 |M 1 2) \|lev inte|
|00001070| 67 65 72 2d 69 6e 74 65 | 67 65 72 0a 28 4d 20 31 |ger-inte|ger.(M 1|
|00001080| 20 31 2e 30 29 20 5c 6c | 65 76 20 69 6e 74 65 67 | 1.0) \l|ev integ|
|00001090| 65 72 2d 72 65 61 6c 0a | 28 4d 20 31 20 7b 5c 73 |er-real.|(M 1 {\s|
|000010a0| 63 68 74 72 75 65 7d 29 | 20 5c 6c 65 76 20 69 6e |chtrue})| \lev in|
|000010b0| 74 65 67 65 72 0a 28 4d | 20 27 61 20 31 29 20 5c |teger.(M| 'a 1) \|
|000010c0| 6c 65 76 20 27 74 6f 70 | 2d 6e 75 6d 62 65 72 0a |lev 'top|-number.|
|000010d0| 5c 65 6e 64 7b 73 63 68 | 65 6d 65 7d 22 3e 0a 3c |\end{sch|eme}">.<|
|000010e0| 42 52 3e 0a 0a 3c 50 3e | 0a 0a 3c 48 52 3e 0a 0a |BR>..<P>|..<HR>..|
|000010f0| 3c 2f 42 4f 44 59 3e 0a | 3c 2f 48 54 4d 4c 3e 0a |</BODY>.|</HTML>.|
+--------+-------------------------+-------------------------+--------+--------+